Chapter 7: Logic of behavior

How can we prove our machine is safe(0)
The category Set as an exemplar topos(0)
Set-like properties enjoyed by any topos(0)
The subobject classifier(0)
Logic in the topos Set(0)
Sheaves(0)
Presheaves(0)
Topological spaces(0)
Sheaves on topological spaces(0)
Toposes(0)
The subobject classifier in a sheaf topos(0)
Logic in a sheaf topos(0)
Predicates(0)
Quantification(0)
Modalities(0)
Type theories and semantics(0)
A topos of behavior types(0)
The interval domain(0)
Sheaves on IR(0)
Safety proofs in temporal logic(0)